Inductive LS cocategory and localisation

Lusternik-schnirelmann Cocategory

We introduce a new deenition of the (Lusternik-Schnirelmann) co-category of a CW complex X. This is accomplished by producing a dual of the fat wedge called the thin product. One then looks at fac-torizations of the fold map through the thin product analogously to the Whitehead deenition of category. We investigate the relationship between this deenition and the rational cocategory introduced b...

AN INDUCTIVE FUZZY DIMENSION

Using a system of axioms among with a modified definition of boundary on the basis of the intuitionistic fuzzy sets, we formulate an inductive structure for the dimension of fuzzy spaces which has been defined by Coker. This new definition of boundary allows to characterize an intuitionistic fuzzy clopen set as a set with zero boundary. Also, some critical properties and applications are establ...

THE LS-ANTIGEN OF VACCINIA IV. CHEMICAL ANALYSIS O~" LS AND TIlE EFFECT OF CHYMOTRYPSIN ON LS* BY

Recent observations in our laboratories (1, 2) have demonstrated that a single molecular substance carries all of the serological activity of both the Land Ssoluble antigens of vaccinia. Craigie and Wishart, (3) who originally described these two antigens thought that they occurred in the form of a complex in nature, but, from their own observations (3) and from those of Parker (4), they were l...

SEC Biology 09 Ls

Inductive-Inductive Definitions

We present a principle for introducing new types in type theory which generalises strictly positive indexed inductive data types. In this new principle a set A is defined inductively simultaneously with an A-indexed set B, which is also defined inductively. Compared to indexed inductive definitions, the novelty is that the index set A is generated inductively simultaneously with B. In other wor...